theorem Th29: :: SIN_COS6:29

for r being Real st 0 <= r & r <= 2 * PI & cos r = - 1 holds
r = PI