¹¹ This is very closely linked to Schur’s lemma we saw before.