Formal Written Method for Short Division