
theorem Thm14:
  sin (2*PI/3) = sqrt(3)/2
  proof
    sin(2*PI/3) = sin(2*PI/3 - 0)
    .=sin(PI/3 + 0 ) by Thm5
    .=sin(PI/3);
    hence thesis by Thm9;
  end;
