Gọi d là ƯC của a và ab+4
=> a chia hết cho d, ab+4 chia hết cho d => 4 chia hết cho d => d = { 1, 2, 4}
nếu d=2 thì a chia hết cho 2 , ab+4 chia hết cho 2 ( vô lí vì a là số lẻ)
Tương tự d cũng ko thể bằng 4
Vậy d=1 => a và ab+4 là các số nguyên tố cùng nhau (ĐPCM)