theorem Th46: :: SIN_COS6:46

sin .: ].(- (PI / 2)),(PI / 2).[ = ].(- 1),1.[