If * is a binary operation on a set S, an element x of S is an idempotent for * if x * x = x. Prove that a group has exactly one idempotent element.