5x + 1024 = abcd7
--------------------------/
5x multiplu de 5 ⇒ x ∈ { 0,5 } → conform criteriului de divizibilitate
⇒ Un numar ce are ultima cifra 0 sau 5, adunat cu 1024 va da un numar cu ultima cifra 4 sau 9. ( 0 + 4 = 4 ; 5 + 4 = 9 )
abcd7 are ultima cifra 7 ⇒ nu exista numere naturale pentru ca aceasta egalitate sa fie adevarata.