theorem :: SIN_COS2:7

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