Der Beweis ist eine Umgebung des Satzes.