Let Γn be an n × n Haar-invariant orthogonal matrix. Let Zn be the p × q upper-left submatrix of Γn, where p = pn and q = qn are two positive integers. Let Gn be a p × q matrix whose pq entries are ...