In other words, the set of all orthonormal frames is a right O(k)-torsor.
换句话说，所有标准正交标架集合是一个右 O(k)-torsor。