Let be a Formal Power Series in a Ring containing . Then where is the -th Formal Derivative, and is the first element of the sequence . Proof Just check from the definition of Formal Derivative.