Lagrange_reversion_theorem loading ...