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