theorem Th50: :: SIN_COS6:50

cos .: ].0,PI.[ = ].(- 1),1.[