(11 * PI) / 6 = (2 * PI) - (PI / 6) ;
hence sin ((11 * PI) / 6) = - (1 / 2) by EUCLID10:3, EUCLID10:17; :: thesis: verum