theorem Th3: :: SINCOS10:3

[.(- (PI / 2)),0.[ c= dom cosec