theorem :: SIN_COS2:9

cos | ].((3 / 2) * PI),(2 * PI).[ is increasing