Orthogonal matrices. Best Approximation Theorem.