对于任意的属于A*A,x属于A并且y属于A,又由A*A=B*B,属于B*B,所以x属于B且y属于B,所以A包含于B,同理可证B包含于A.