和式的恒等变换