theorem :: XBOOLEAN:139

for p being boolean object st p '&' p = FALSE holds
p = FALSE ;