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