Giả sử cả a và b đều không chia hết cho 5. Đặt [tex]a=5m+q,b=5n+p(m,n\in \mathbb{Z};p,q\in \mathbb{N};1\leq p,q\leq 4)[/tex]
Ta có:[tex]ab=(5m+q)(5n+p)=25mn+5(m+n)+pq\vdots 5\Rightarrow pq\vdots 5[/tex]
Vì [tex]1\leq p,q\leq 4\Rightarrow pq[/tex] không chia hết cho 5(mâu thuẫn)
Vậy ta có đpcm.