For two finite rotations the commutative property has been proved by vector rnethod[1].

• 对于两次有限转动合成的可交换性质已由矢量法[1]证明。