properties of orthogonal matrix sets 5765679