Proved associativity of addition