Idempotent Elements form Subsemigroup of Commutative Semigroup/Proof 2

Proof
By Subsemigroup Closure Test we need only show that:


 * For all $x, y \in I$: $x \circ y \in I$.

As $x, y \in I$, they are idempotent.

We have that $\circ$ is commutative.

Thus, by definition, $x$ and $y$ commute.

From Product of Commuting Idempotent Elements is Idempotent, $\left({x \circ y}\right)$ is idempotent.

That is:
 * $x \circ y \in I$