Für $ x = 1 $: $ x \mid y \Rightarrow y \mid 1 $ ⇒ $ y = \pm1 $, aber $ y \mid 1 $: nur $ y = \pm1 $. $ y \mid x $? $ \pm1 \mid 1 $: wahr ⇒ Implikation wahr. $ x \mid 0 $? wahr ⇒ Implikation wahr.