theorem Th66: :: NIVEN:66

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