( Allm . _ A.-B.x3)