theorem :: SINCOS10:125

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