Wenn mir nun der Beweis einen neuen Begriff gibt; was tut der bewiesene Satz? Man könnte sagen: der bewiesene Satz spielt auf diesen Begriff an.