theorem :: NIVEN:11

for i being Integer holds sin (((7 * PI) / 6) + ((2 * PI) * i)) = - (1 / 2) by COMPLEX2:8, Th7;