Cho định lí “∀x∈ℝ,x∈ℤ nếu và chỉ nếu x + 1∈ℤ”. Phát biểu lại định lí này, sử dụng thuật ngữ “điều kiện vần và đủ”.