:: deftheorem defines 0[01] BORSUK_1:def 14 :
0[01] = 0 ;