:: deftheorem defines c[-100] BORSUK_7:def 3 :
c[-100] = |[(- 1),0,0]|;