Rotation Isometry Proof