Furthermore, we have 1/dE(α) ∈ SO(3,ℚ), and, in fact, all 3 × 3 orthogonal matrices with rational coefficients arise in this manner.
Более того, 1 d E ( α ) {\displaystyle {\frac {1}{d}}E(\alpha )} ∈ SO ( 3 , Q ) {\displaystyle \in {\text{SO}}(3,\mathbb {Q} )} , и, фактически, все 3 × 3 ортогональные матрицы с рациональными коэффициентами появляются таким образом.