theorem :: XBOOLEAN:103

for p being boolean object holds p => p = TRUE