Der Satz über Basen in einem Dachprodukt.