doğru...
karışıtını kanıtlayayım.
ekok(r,s)=rs olsun ama ebob(r,s)≠1 kabul edelim.
si ve rj'ler asal olmak üzere
s=s1...sn,r=r1...rm
varsayım gereği en az bir rj=si'dir. s1=r1 diyelim. o halde r1(r2...rm)(s2...sn)=r(s2...sn) bulunur. hem r hem s rs'den küçük olan bu sayıyı böler ve hipotezimizle çelişiriz.
hatta genelleyeyim: k tane çarptan ortaksa rk=sk,...r2=s2,r1=s1 mesela, o zaman r(sk+1..sn)<rs hem r hem s tarafından bölünür.