Monoid varieties defined byxn+1=x are local

We offer a new proof of the theorem in the title. In fact, we prove that for any varietyH of groups of finite exponent, the varietyCR(H) of all completely regular monoids with subgroups fromH, is local. The analogous result holds for pseudovarieties. A previously published proof of the theorem in the title has been found deficient.