A Proof of Lemma 4.4 The first stage of Algorithm 1 outputs an entity level