Angenommen wir nennten den Satz daß 7 durch keine kleinere Zahl außer der 1 teilbar ist „das Gesetz der heiligen Zahl” & es würde lauten 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
Mathematik
” & anderer ‚Sätze’, die eigentlich eine individuelle Rechnung benennen, die wir den Beweis des Satzes nennen.