theorem Th52: :: INTPRO_2:51

for X being Subset of MC-wff
for p being Element of MC-wff st p is valid_IPC holds
X |-_IPC p