Formal Written Method for Addition