Für $ x = 0 $: $ x \mid y $ nur wenn $ y = 0 $. Dann $ y \mid x $? $ 0 \mid 0 $: wahr. Also Prämisse wahr. $ x \mid 0 $? wahr ⇒ Implikation wahr.