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