theorem Th30: :: BORSUK_7:40

- c[100] = c[-100]