angefangen Beweis Asympt Grace weiter auszuführen