Es wäre dann das log. Produkt zweier Elementarsätze nur ein Spezialfall eines allgemeinen Satzes; etwa so: x = a ∙ y = b ⊃ xy φx ∙ φy?