“…Proof Note that is well defined under the assumption . From we have where, by , the block columns of are F ‐orthogonal and Y m takes the form Then, by Lemma , , and the lower and upper bounds in follow straightforward from lemma 2.3 in the work of JR …”