(War schon da.) Der mathematische Satz verhält sich dann zu seinem Beweis wie die eine oberste Fläche eines Körpers zu diesem selbst. Man könnte vom Beweiskörper des Satzes sprechen.