theorem :: XBOOLEAN:118

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