n : 1009 = x rest 3
n = 1009x + 3
caz1
daca x par => 1009x este par =>
==> 1009x + 3 este impar (convine)
caz2
daca x impar => 1009x este impar =>
==> 1009x + 3 este par (Nu convine)
n = 1009 × 2k + 3
k - numar natural nenul
=> n = 2018k + 3 ; 3 < 2018
=> restul = 3