A group \(G\) has distinct elements \(e, a, b, c, \ldots\), where \(e\) is the identity element and \(\circ\) is the binary operation. Prove that if
$$a \circ a = b, \quad b \circ b = a$$
then the set of elements \(\{e, a, b\}\) forms a subgroup of \(G\). [5]
Prove that if
$$a \circ a = b, \quad b \circ b = c, \quad c \circ c = a$$
then the set of elements \(\{e, a, b, c\}\) does not form a subgroup of \(G\). [5]