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