Begründet (a,-b)=T(a,b)