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