（－1/8）∧2013　×　8∧2013　+（－1）∧2012＝[（－1/8）×　8]∧2013+（－1）∧2012＝（－1）∧2013+（－1）∧2012＝－1+1＝0