Aber für $ |x| > 1 $ ist $ orall y\ (x \mid y \Rightarrow y \mid x) $ **falsch**, daher pr\log St Mg falsz.