The inverse appearing in the assumption requires . Taking determinants of gives
where the minus sign comes from the odd matrix order. Multiplying by gives . Since is real, the second factor is positive. Thus and is a singular matrix. This is the singularity forced by an odd-dimensional transpose-inverse identity, with the roles of the two matrix letters exchanged.
Take determinants of . In order three, multiplication of a matrix by minus one changes its determinant's sign. Hence
The assumption is the same as , so multiplication by gives
Since the matrices are real, the first factor is strictly positive. Thus , proving that is a singular matrix. This is singularity forced by an odd-dimensional transpose-inverse identity; no orthogonality of was used.