theorem Th26: :: COMPTRIG:26
cos | [.PI,(2 * PI).] is increasing