prove theorem-1 assuming a lemma-union-generate