doğru...
karışıtını kanıtlayayım.
ekok$(r,s)$=rs olsun ama ebob$(r,s) \neq 1 $ kabul edelim.
$s_i $ ve $r_j$'ler asal olmak üzere
$s=s_1...s_n$,$r=r_1...r_m$
varsayım gereği en az bir $r_j=s_i$'dir. $s_1=r_1$ diyelim. o halde $r_1(r_2...r_m)(s_2...s_n)=r(s_2...s_n)$ 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 $r_k=s_k,...r_2=s_2, r_1=s_1$ mesela, o zaman $r(s_{k+1}..s_n) < rs $ hem $r$ hem $s$ tarafından bölünür.