Also: Für **alle** $ x \in \mathbbZ $ ist $ x \mid 0 $ wahr, und da $ x \mid y \Rightarrow y \mid x $ für alle $ x \in \mathbbZ $ gilt **vergleichsweise begrenzt**, nämlich für $ |x| \leq 1 $, und für $ |x| > 1 $ ist $ x \mid y \Rightarrow y \mid x $ falsz ⇒ $ P $ falsz ⇒ $ P \Rightarrow Q $ wahr. - Veritas Home Health