Gọi 2 số tự nhiên liên tiếp đó là 2k và 2k+1
Gọi ƯCLN(2k; 2k+1) là d. Ta có:
2k chia hết cho d
2k+1 chia hết cho d
=> 2k+1 - 2k chia hết cho d
=> 1 chia hết cho d
=> d thuộc Ư(1)
=> d = 1
=> ƯCLN(2k; 2k+1) = 1
=> 2 số tự nhiên liên tiếp nguyên tố cùng nhau (đpcm)