theorem Thm10: :: EUCLID10:16

tan (PI / 3) = sqrt 3