На 2 ділиться без остачі будь-яке ціле число перший розряд якого парний (0, 2, 4, 6, 8) ('наприклад: 58/2=29, 1004/2=502).
Доведення< Будь-яке ціле число можна представити у вигляді суми першого розряду та решти числа. Нехай |a|=b1+10b2, де b1 - перший розряд a, b2 - число, що складається з решти розрядів a. Якщо поділити a на 2, то вираз b1+10b2 можна розписати, як b1/2+10b2/2, або b1/2+5b2. Таким чином, b1 має націло ділитись на 2. Оскільки воно лежить в межах від 0 до 9, і є натуральним числом, то воно може бути одним з п'яти наступних чисел: 0, 2, 4, 6, 8.