“…The idea, originating in [9, Corollary 5.2], is that among N subspaces of fixed dimension in C d , there must be at least a pair with "small" principal angles. This result has been generalized to subspaces with weights in [2,Theorem 3.4], and then to arbitrary positive semidefinite operators with fixed trace in [4,Proposition 4.1]. In the result below, we slightly generalize this last result, by removing the fixed trace condition.…”