theorem Th121: :: INTPRO_2:120

for q, r being Element of MC-wff holds {r} |-_IPC q 'or' r