theorem Th90: :: INTPRO_2:89

for p, q being Element of MC-wff holds |-_IPC ((p '&' q) => FALSUM) => (q => (p => FALSUM))