Let (S,) be a binary structure, and assume the binary operation * is commutative. Let a S denote an element such that a s = s for all s E S. Prove that a is an identity element for *.