Wenn er durch kein endliches Produkt wahr gemacht wird, so heißt das: er wird durch kein Produkt wahr gemacht. Und darum ist er kein logisches Produkt.