theorem Th83: :: INTPRO_2:82

for p, q being MC-formula st |-_IPC p & |-_IPC q holds
|-_IPC p '&' q