\Id{a} ^ 
 = \Id{a} \Comp \Id{a} ^ 
 = ((\Id{a} \Comp \Id{a} ^ )^ )^ 
 = ((\Id{a} ^ )^ \Comp \Id{a} ^ )^ 
 = (\Id{a} \Comp \Id{a} ^ )^ 
 = (\Id{a} ^ )^ 
 = \Id{a} 
