giả sử a không là số CP => a = x2y ( x, y thuộc N*, y nguyên tố, x, y nguyên tố cùng nhau) do a chia hết cho y nên c2 chia hết cho y Vì y nguyên tố nên c chia hết cho y => c2 chia hết cho y2 => c2 = my2 => x2.b = my nêm b chia hết cho y => vô lý vì (a, b) =1 vậy a là số CP => b là số CP