Nehmen wir $ y = 10 $: $ 5 \mid 10 $: wahr. $ 10 \mid 5 $? Nein (10 ∤ 5). Also Implikation falsch. → Prämisse falsch.