theorem :: XBOOLEAN:143

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