Esistenza dell'opposto

$\overline{a}:a\ast \overline{a}=\overline{a}\ast a=e$