theorem :: XBOOLEAN:119

for p, q being boolean object st 'not' p = TRUE holds
p => q = TRUE ;