(4 * PI) / 3 = PI + (PI / 3) ;
hence cos ((4 * PI) / 3) = - (1 / 2) by EUCLID10:14, SIN_COS:79; :: thesis: verum