Gọi k là ước nguyên tố của ab và a+b (k∈N*)
=> ab chia hết cho k và a+b chia hết cho k.
Vì ab chia hết cho k => a chia hết cho k và b chia hết cho k (Vì k là số nguyên tố)
Do a và b là 2 số nguyên tố cùng nhau nên:
Giả sử: a chia hết cho k thì b chia hết cho k (vì a+b chia hết cho k)
=> k ∈ ƯC(a;b). Mà ƯCLN(a,b)=1
=> k=1(trái với k là số nguyên tố)
Do đó ab và a+b không thể có ước nguyên tố chung.
=> ƯCLN(ab,a+b)=1