y ≠ 0 →
-(a - b - 1)

a-1
≠ 0

essendo a≠1 moltiplico in croce

-(a - b - 1) ≠ 0·(a - 1)

-(a - b - 1) ≠ 0

a - b - 1 ≠ 0

a ≠ b + 1