結果 : write rules of binary subtraction