Added proof for addition's associativity.