Ta hãy : G/S : Tập hợp số nguyên tố là hữu hạn.
G/S : Tập hợp các số nguyên tố đó là : \(x_1;x_2;x_3;.....;x_n\)
Xét với dãy số : \(x_1.x_2.x_3......x_n+1\)
Ta thấy: \(x_1;x_x;x_3;.....;x_n\) đều là các số nguyên tố.
\(\Rightarrow x_1.x_2.x_3......x_n+1>x_1+x_2+x_3+.....+x_n\)
Ta thấy : \(x_1.x_2.x_3.......x_n+1⋮̸x_1;x_2;x_3;.....;x_n\)
Từ 2 điều trên : \(\Rightarrow x_1.x_2.x_3........x_n+1\) là một số nguyên tố.
Suy ra : G/S sai.
\(\Rightarrowđpcm\)