旋转证明例题