gọi d là ước nguyên tố chung của n + 3 và n - 12
ta có : n + 3 : hết cho d ; n - 12 : hết cho d
=> ( n + 3) - ( n - 12) : hết cho d
=> 15 : hết cho d
=> d \(\varepsilon\){ 3 ; 5 }
nếu d = 3
=> n + 3 : hết cho 3
=> n : hết cho 3
=> n \(\ne\) 3k
nếu d = 5
=> n - 12 : hết cho 5
=> n - 10 - 2 : hết cho 5
=> n - 2 : hết cho 5
=> n \(\ne\)5k + 2