Orthogonal Matrices Preserve Euclidean Inner Products