Lemma 10 - reducing extra columns - implemented.