theorem Th65: :: INTPRO_2:64

for p being Element of MC-wff holds {p} |-_IPC p