theorem Th73: :: INTPRO_2:72

for p, q being Element of MC-wff holds {(p '&' q)} |-_IPC p