Für $ x \in \mathbbZ \setminus \0, \pm1\ $: Wähle $ y = x $. Dann $ x \mid y $ ist wahr. Aber $ y \mid x $ ⇒ $ x \mid x $: wahr, aber hier ist die Implikation: - Groen Casting