Giả sử ngược lại rằng
tích của 4 số đó là số âm a.b.c.d <0
mà tích 3 số bất kỳ đều âm là abc<0 , bcd<0 acd<0 và abd <0
nên ta có \(\hept{\begin{cases}abcd< 0\\abc< 0\end{cases}\Rightarrow d>0}\), tương tự ta đều chỉ ra được b>0, c>0 và d>0
khi đó abc>0 mâu thuẫn với giả thiết
vậy giả sử là sai hay tích 4 số đó phải là số nguyên dương