Structure is Group iff Semigroup and Quasigroup

Theorem
Let $\struct {S, \circ}$ be an algebraic structure.

Then:
 * $\struct {S, \circ}$ is a group


 * $\struct {S, \circ}$ is both a semigroup and a quasigroup.