theorem :: BORSUK_7:42

c[100] - c[-100] = |[2,0,0]|