Der Beweis ist also auch eine Anweisung zur Benutzung der Regel.