theorem Th26: :: COMPTRIG:26

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