:: deftheorem defines FALSUM INTPRO_1:def 9 :
FALSUM = <*0*>;