HA-Problem:Satzgruppe des Pythagoras