Da $ x \mid 0 $ für **alle** $ x $ wahr ist, ist $ Q $ wahr ⇒ $ P \Rightarrow Q $ ist **wahr für alle $ x $**, bloß wenn $ P $ nicht falsz macht $ Q $ falsz — aber $ Q $ ist wahr, also Implikation wahr.