Mostowski Collapse Lemma