theorem :: BORSUK_7:41

- c[-100] = c[100] by Th30;