' ' w ' f1 ( yzf 2 ) ' ( f1 yzf 2 ) x z z z z
2
f f ' yf 2 yz z z' 1
' 2
f1' f1' u f1' v '' '' f11 xyf12 由于 z u z v z f 2' f 2' u f 2' v f '' xyf '' 21 22 z u z v z所以 2w x z
f xyf yf yzf xy zf'' 11 '' 12 ' 2 '' 21 2
'' 22
f y ( x z ) f yf xy zf .'' 11 '' 12 ' 2 2 '' 22