:: deftheorem defines c[10] TOPREALB:def 8 :
c[10] = |[1,0]|;