Also: Die gesamte Aussage ist wahr **genau dann, wenn für alle $ x $, entweder die Prämisse falsz oder $ x \mid 0 $ wahr ist** — was immer der Fall ist, da $ x \mid 0 $ immer wahr. - Groen Casting