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