Gọi d là 1 ước chung của 4n + 2 và 6n + 1. Ta có :
4n + 2 :: d ; 6n + 1 :: d
=> 3( 4n + 2 ) - 2( 6n + 1 ) :: d
=> 12n + 6 - 12n + 2 :: d
=> 4 :: d => d thuộc { -4 ; -2 ; -1 ; 1 ; 2 ; 4 }
Mà 6n + 1 là số lẻ => n thuộc { -1; 1 } ( nguyên tố )
Vậy 4n + 2 và 6n + 1 nguyên tố cùng nhau ( đpcm )