Der Satz über die universelle Eigenschaft des Dachproduktes.