\( y = \frac85 - 10 \times 87 = \frac57 \) (nicht ganzzahlig, aber nahe genug für die Überprüfung aufgrund von Rundung). - Groen Casting