“…This implies that the projections
satisfy the curvature condition [
3, (1)]. In fact, up to the rotation by
, this family of projections is precisely the ‘model example’ mentioned just below [
3, (1)]. Therefore, (3.5) follows from [
3, Corollary 1], and the proof is complete.
…”