Proving the determinant of an orthogonal matrix is +-1