“How can you impose two rules on your arithmetik unless you know that they must lead to the same result?”
  You wish to say: “These rules by there very nature, lead to the same result.” And you would therefore have recognised something about the very nature of them.