theorem Th37: :: INTPRO_2:36

for p, q being Element of MC-wff st |-_IPC p & |-_IPC p => q holds
|-_IPC q by Th27;