Orthogonal Matrices Preserve Norms