Si puo' dimostrare che se una struttura algebrica
e' dotata di elemento inverso questo e'
unico
.