Aber $ y = 10 $: $ 5 \mid 10 $: wahr, $ 10 \mid 5 $? falsch ⇒ Implikation falsz ⇒ Prämisse falsz - Dyverse