Orthogonal matrix proof. .