Proving Sum Of Arithmetic Calculator