How do you prove a semigroup