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

• -
• +