Im Beweis ist jedenfalls das zu beweisende nicht das Ende der Gleichungskette.