実質線素の方程式