Subtraction with exchanging borrowing