結果 : binary subtraction rules with borrow