theorem Thm13: :: EUCLID10:19

tan (PI / 6) = (sqrt 3) / 3