Verify that if A^T = A^(-1) , then A^TA = I (orthogonal matrix)