旋转定理

rotation theorem