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

A. ( a * b) * a ="a         

B. [ a*( b * a)] * ( a*b)=a

C. b*( b * b)="b          

D. ( a*b) * [ b*( a * b)] =b