有一个运算程序a▲b=n可以使:(a+c)▲b=n+c,a▲(b+c)=n-2c.如果1▲1=2,那么2013▲2013