Hallo,
wollte fragen ob man auch alternative über vx statt über vwx argumentieren kann?
....
Ja, da du alle Zerlegungen mit deinen Fällen abdeckst.
Es hat sich noch ein Flüchtigkeitsfehler in deinem zweiten Fall eingeschlichen. Es müsste heißen: wegen |vwx|<=k kann ....
Viele Grüße
Philipp (Tutor)