Donutalo: Die Bedingung $ x \mid y \Rightarrow y \mid x $ ist **nur wahr, wenn $ x = 0 $ oder $ |x| = 1 $**.