解方程式除了移项法则还有甚么法则?