theorem :: SINCOS10:126

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