結果 : binary minus rules