Rule of Idempotence/Conjunction

Theorem
The conjunction operator is idempotent:

Formulation 2
Its abbreviation in a tableau proof is $\textrm{Idemp}$.