theorem :: XBOOLEAN:3

for p being boolean object holds p 'or' p = p ;