Fie nr. natural a.
a : 4 = 3 × c, rest c
=>a = 4 × 3c + c ⇒
deoarece restul trebuie sa fie mai mic decat impartitorul ⇒ c = {0; 1; 2; 3}
pentru c = 0 ⇒ a = 4 × 3 × 0 + 0 = 0
c = 1 ⇒a = 4 × 3 × 1 + 1 = 12 + 1 = 13
c = 2 ⇒a = 4 × 3 × 2 + 2 = 24 + 2 = 26
c = 3 ⇒a = 4 × 3 × 3 + 3 = 36 + 3 = 39
a ∈ {0; 13; 26; 39}