Daß Dein Satz
    (∃x,y)x = a ∙ y = b wahr ist, ist doch nicht das was mich in Stand setzt „(∃x,y) φx ∙ φy” zu sagen!