17 + 28 kann ich mir nach Regeln ausrechnen ich brauche 17 + 28 = 45(α) nicht als Regel zu geben. Kommt also in einem Beweis der Übergang von f(17 + 28) auf f(45) vor so brauche ich nicht sagen er geschähe nach der Regel α, sondern nach andern Regeln des 1 + 1.