عدد صحیح
عدد صحیح یا عدد درست، عددی است که می‌تواند بدون جزء کسری نوشته شود. برای مثال، ۲۱، ۴، ۰، و ۴− عدد صحیح هستند، در حالی که ۹٫۷۵، و عدد صحیح نیستند؛ مجموعه اعداد صحیح از صفر (۰)، اعداد طبیعی مثبت (۱، ۲، ۳، ...)، که همچنین "اعداد شمارشی" نیز گفته می‌شوند، و وارون جمعیشان (اعداد صحیح منفی، یعنی، ۱−، ۲−، ۳−، ...) تشکیل شده‌است.
اعداد زائد
حال، به انجام رساندن قضیه ۱ کار ساده ایست. واضح است که اگر عدد صحیح زوجی بر ۶ تقسیم شود، باقی‌مانده اش یکی از اعداد ۰، ۲، یا ۴ خواهد بود؛ یعنی هر عدد صحیح زوجی به یکی از صورت‌های زیر است: n=۶k یا n=۶k+۲ یا n=۶k+۴ .