theorem Th50: :: SIN_COS6:50
cos .: ].0,PI.[ = ].(- 1),1.[