PD:
Si @+1=@, al pasar restando @,

1=@-@, 1=0, entonces lo anterior no es cierto (a menos que @-@ sea otra cosa, quizás hay que dar más definiciones)