نكته: به مثالی كه نشان می‌دهد يک حكم در حالت كلی درست نيست، مثال نقض می‌گويند. ابتدا درستی گزينۀ ۴ را اثبات می‌كنيم: اگر فرض کنیم $a=2k$، $b=2k+2$ و $c=2k+4$، آنگاه داریم: $abc=(2k)(2k+2)(2k+4)=\underbrace{8k\times (k+1)(k+2)}_{{}}=8\times 6q=48q$ اكنون برای ساير گزينه‌ها، مثال نقض ارائه می‌كنيم:  گزینهٔ 1: $a=5$ و $b=0$، آنگاه $ab=5\times 0=0$، ولی $a$ و $b$ هر دو با هم صفر نیستند. گزینهٔ 2: به‌ازای $n=4$، مقدار عبارت ${{3}^{4}}+4=81+4=85$ عددی اول نیست. گزینهٔ 3: اگر $a=\sqrt{2}$ و $b=-\sqrt{2}$، آنگاه $a+b$ مساوی صفر خواهد شد که عددی گویا است.