Angenommen, wir nennen den Satz, dass 7 durch keine kleinere Zahl ausser der 1 teilbar ist “das Gesetz der heiligen Zahl” und würden es in den Worten “7 ist die heilige Zahl” aussprechen. Dann hätten wir hier einen ähnlichen Fall wie den des “Hauptsatzes der Algebra” und anderer ‘Sätze’, die eigentlich eine individuelle Be[r|R]echnung benennen, die wir den Beweis des Satzes nennen.