Für $ x = 5 $: $ y = 10 $: $ 5 \mid 10 $ wahr, $ 10 \mid 5 $? falsch ⇒ Implikation falsch ⇒ gesamte Aussage falsz - Groen Casting