a) - Nếu a hoặc b chia hết cho 3 => abc chia hết cho 3.
- Nếu a không chia hết cho 3 và b không chia hết cho 3 => a² chia 3 dư 1, b² chia 3 dư 1 => c² chia 3 dư 2 (vô lí)
Vậy trường hợp a không chia hết cho 3 và b không chia hết cho 3 không xảy ra => abc chia hết cho 3
b) - Nếu a hoặc b chia hết cho 5 => abc chia hết cho 5.
- Nếu a không chia hết cho 5 và b không chia hết cho 5 => a² chia 5 dư 1 hoặc 4; b² chia 5 dư 1 hoặc 4.
+ Nếu a² chi 5 dư 1, và b² chia 5 dư 1 => c² chia 5 dư 2 (vô lí)
+ Nếu a² chi 5 dư 1, và b² chia 5 dư 4=> c² chia 5 dư 0 => c chia hết cho 5.
+ Nếu a² chi 5 dư 4 và b² chia 5 dư 1 => c² chia 5 dư 0 => c chia hết cho 5.
+ Nếu a² chi 5 dư 4 và b² chia 5 dư 4 => c² chia 5 dư 3 (vô lí).
Vậy ta luôn tìm được một giá trị của a, b, c thỏa mãn abc chia hết cho 5