e 0 $. Also $ 0 \mid y $ ist falsz, so dass die Implikation $ 0 \mid y \Rightarrow y \mid 0 $ hier irrelevant ist (Prämisse ist leer wahr oder nur für $ y=0 $). Tatsächlich gilt: