theorem :: SINCOS10:128

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