设S是至少含有两个元素的集合，在S上定义了一个二元运算“*”（即对任意的a，b∈S，对于有序元素对（a，b），在S中有唯一确定的元素与之对应）有a*（b*a）=b，则对任意的a，b∈S，下列等式中不恒成立的是

1. A.
   （a*b）*a=a
2. B.
   [a*（b*a）]*（a*b）=a
3. C.
   b*（b*b）=b
4. D.
   （a*b）*[b*（a*b）]=b

A.（a*b）*a=a                      B.［a*(b*a)］*(a*b)=a

C.b*(b*b)=b                         D.(a*b)* ［b*(a*b)］=b