ae=ea olduğundan e elaman M(a)olup M(a) boş kümeden farklı olur. Ayrıca M(a)CG olduğu da açıktır. Yani boş küme eşit değildir M(a)CG olur. Herhangi x,y elemanı M(a) alalım. x,y elemanı M(a)olduğundan
ax=xa ve ay=ya olur. ay=ya olduğundan terslerini işleme soksak.O halde x.y'nin tersimelemanı M(a)olur. gibi şeyler yapmaya çalıştım