In dem Beweis des Satzes muß (am Ende) der Satz vorkommen