theorem Th41: :: INTPRO_2:40

for p, q being Element of MC-wff holds (p '&' q) => p is valid_IPC