0-att+bt=0att+bt=abE1(ab),