theorem Th33: :: COMPTRIG:33

rng (cos | [.PI,(2 * PI).]) = [.(- 1),1.]