Cho định lí “ 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

Bằng cách sử dụng thuật ngữ “điều kiện cần và đủ”. Định lí trên được phát biểu sau:

Với mọi số thực x, điều kiện cần và đủ để là x ∈ℤ là x + 1 ∈ℤ.