Formal Written Method for Long Multiplication