Der Beweis reiht den Satz in ein System ein.