Rechner: Satz des Pythagoras: Nachweis