No, this was really something trivial, in the sense that you could feel it's true. Like 2+2=4 but to prove it you need to create a set of functions, axiom and a

No, this was really something trivial, in the sense that you could feel it's true. Like 2+2=4 but to prove it you need to create a set of functions, axiom and a theorem