Absolute complement


THEOREM    \(\left(A^\complement\right)^\complement = A\)

Proof available