(7 * PI) / 6 = PI + (PI / 6) ;
hence sin ((7 * PI) / 6) = - (1 / 2) by EUCLID10:17, SIN_COS:79; :: thesis: verum