:: deftheorem defines c[-10] TOPREALB:def 9 :
c[-10] = |[(- 1),0]|;