MathGymOSVorlage/ Beweis