theorem :: XBOOLEAN:102

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