Negation


THEOREM    Negation is idempotent.

Proof available