A result of Zyczkowski and Sommers [J.Phys.A, 33, 2045--2057 (2000)] gives
the eigenvalue probability density function for the top N x N sub-block of a
Haar distributed matrix from U(N+n). In the case n \ge N, we rederive this
result, starting from knowledge of the distribution of the