Orthogonal matrices and positive definiteness (Federico Poloni, 2017-09-27)