# Abstract algebra

THEOREM

An algebraic structure has one zero element at most.

Proof available

THEOREM

An algebraic structure has one identity element at most.

Proof available