theorem :: BINARITH:10

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