$ x \mid 0 $ ist wahr für **jedes** $ x $, da $ 0 = 0 \cdot x $. So $ x \mid 0 $ gilt immer.