:: deftheorem defines null FOMODEL0:def 15 :
for B, A being object holds A null B = A;