Если считаешь утверждение верным, выбери знак "+", если неверным - знак "_".
Равенство k + 1 = k неверно при любом значении k.

• -
• +