giả sử phản chứng trong 16 số đó không có số nào là số nguyên tố, tức là 16 hợp số
=> Xét một số a bất kì trong 16 số đó là hợp số => a=p.q ( \(p\le q\))
Mà \(a\le2020\Rightarrow pq\le2020\Rightarrow p\le44\)
Gọi 16 số đó lần lượt là a1, a2, ...,a15, a16 và mỗi số là hợp số nên phân tích được:
\(a1=p1.q1;a2=p2.q2;...,a16=p16.q16;pk\le qk\)
=> p1,p2,...,p16 \(\le44\)
Gọi r1, r2,..., r16 lần lượt là các ước nguyên tố của p1, p2,...,p16 => r1, r2 ...,r16\(\le44\)
Mà có 14 số nguyên tố khác nhau < 44 ( là các số: 2,3,5,7,11,13,17,19,23,29,31,37,42,43)
Theo nguyên lý Dirichlet có 16 số mà có 14 giá trị => tồn tại rx=ry ( \(1\le x;y\le16\))
=> 2 số bất kì NTCN
=> giả thiết trên sai => đpcm