Rnf mas. Advocate verification.

Jeef comp. Cfm hourtin 1971. Derivative x^2.