Für $ x = 0 $, die Implikation $ ( orall y\ (0 \mid y \Rightarrow y \mid 0)) $ ist *wahr*, denn der Antezedens ist nur für $ y = 0 $ wahr, und $ 0 \mid 0 $ ist wahr.