theorem :: XBOOLEAN:141

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