universelle Eigenschaft => UniE und ein Beweis
more proofs, lighter notation