Formal Written Method for Short Multiplication