Man setzt für b = -y, damit man nachher die Dreiecksungleichung benutzen kann.
Später ersetzt man y durch -y. Wenn du willst, kannst du vielleicht direkt b:=y setzen. Probier das mal.