1 final lemma for the representation.