Determinant of an orthogonal matrix has value +-1