subst(x=b,x-b) ->0 but subst(x=transpose(b),transpose(x)-b) doesn't evaluated However transpose(b),transpose(x)-b ->0