theorem Th68: :: NIVEN:68

for r being Real st (3 * PI) / 2 <= r & r <= 2 * PI & r / PI is rational & sin r is rational holds
r in {((3 * PI) / 2),((11 * PI) / 6),(2 * PI)}