Differentiating gives . Applying the Leibniz rule times to this identity givesOnly two terms survive on each side because the multiplying factors are linear. Rearranging yields . Since , the next two derivatives are and . Substituting and cancelling givesThis is deriving the Laguerre equation from Rodrigues' formula, exhibiting as an eigenfunction of the Laguerre differential operator on polynomials.