theorem :: BORSUK_7:41
- c[-100] = c[100] by Th30;