Fie a și b două mulțimi de numere naturale care satisfac proprietățile:

a. 6 aparține lui A intersectat cu B

b. dacă x aparține lui A, atunci 2*x+1 aparține A intersectat cu B

c. 3*x aparține lui B, atunci x aparține lui A​