until lemma verinigung von V sind produkt