theorem :: BINARITH:3

for x being boolean object holds x 'or' FALSE = x ;