theorem :: SINCOS10:127

cosec .: ].(- (PI / 2)),0.[ is open