微分方程式系の可積分条件