連続の式のLagrange的導出