X ∈ N, x | (5x + 7)
x ∈ {.....}?