How to theoretically prove 2+2=5