:: deftheorem defines 1[01] BORSUK_1:def 15 :
1[01] = 1;