Giả sử bốn số nguyên tố đó là \(p_1,p_2,p_3,p_4\).
Khi đó các số đã cho đều viết được dưới dạng \(p_1^{a_1}p_2^{a_2}p_3^{a_3}p_4^{a_4}\) với \(a_1,a_2,a_3,a_4\) là các số tự nhiên.
Theo nguyên lí Dirichlet, tồn tại 9 số có hệ số \(a_1\) cùng tính chẵn, lẻ.
Trong 9 số này, tồn tại 5 số có hệ số \(a_2\) cùng tính chẵn, lẻ.
Trong 5 số này, tồn tại 3 số có hệ số \(a_3\) cùng tính chẵn, lẻ.
Trong 3 số này, tồn tại 2 số có hệ số \(a_4\) cùng tính chẵn, lẻ. Tích hai số này là số chính phương.