theorem :: XBOOLEAN:142

for p being boolean object holds p <=> ('not' p) = FALSE