Gọi (a ; a + b) = d ....
Vì a + b chia hết cho d
và a cũng chia hết cho d (✈)
⇒ (a + b) - a chia hết cho d
⇒ b chia hết cho d kết hợp với (✈)
⇒ (a ; b) = d = 1 (gt a và b nguyên tố cùng nhau)
⇒ (a ; a + b) = d = 1
⇒ a và a + b là nguyên tố cùng nhau