:: deftheorem defines IVERUM INTPRO_1:def 18 :
IVERUM = FALSUM => FALSUM;