Gọi d là ƯCLN(a,b)
=> a chia hết cho d
b chia hết cho d
=> 2k + 1 chia hết cho d
3k + 2 chia hết cho d
=> 3(2k + 1) = 6k + 3 chia hết cho d
2(3k + 2) = 6k + 4 chia hết cho d
=> (6k + 4) - (6k + 3) = 6k + 4 - 6k - 3 = 1 chia hết cho d
mà d > 0 => d = 1
Vậy ƯCLN(a,b) = 1