Die Ersetzung 3→5 gehörte sozusagen in die Grundlagen einer Arithmetik, nicht als Annex an ein spezielles Gesetz.