a^|x|=x∧2(0