a böler b*c ise a böler b veya a böler c dir. ispatı nasıl olur?
''a böler b*c ifadesine'' p , '' a böler b veya a böler c'' ifadesine q diyerek başladım.
p⟹qp⟹q ≡abölemezbveabölemezc⟹abölemezb.c≡abölemezbveabölemezc⟹abölemezb.c dedim bu noktada devam ettiremedim. önermenin yanlış olduğunu düşünüp aksine örnek bulmaya çalıştım ve bulamadım.