Prove that and , if and only if is a subgroup of .
If is a subgroup of , by the properties of identity, closure and inverse, it is true that and .
If , show that this implies is a subgroup of .
Identity: First let so that .
Inverse: Let so that .
Closure: Let so that .
Associativity: If , then which is not true by the assumption that is a group.