Orthogonal matrices preserve angles and lengths