Rule of Idempotence/Conjunction/Formulation 2

Theorem
The conjunction operator is idempotent:
 * $\vdash p \iff \left({p \land p}\right)$