Formal Written Method for Long Division