:: deftheorem defines c[100] BORSUK_7:def 2 :
c[100] = |[1,0,0]|;