University of Oxford - CP3: Exercise 3 part f - Triangular orthogonal matrix is diagonal