Dimostrazione

 

  1. a = a1;

 

  1. se b = ua con u elemento di A* , allora a = u-1b;

 

  1. se b = ua e se c = vb con u, v entrambi appartenenti ad A* , allora c = (uv)a e  uv sta in  A* .

 

Infine se b = ua e b1 = u1 a1, dove u e u1 sono elementi di A*, allora (aa1)= (uu1)(bb1), e uu1 appartiene ad A* .          (c.v.d.)