Herleitung Höhensatz