結果 : binary subtraction rules with examples