https://5dok.net/document/zgwllwo8-ex-let-orthogonal-n-matrix-entries-r-det.html