theorem :: XBOOLEAN:129

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