theorem :: EUCLID10:21

( arcsin (1 / 2) = PI / 6 & arcsin ((sqrt 3) / 2) = PI / 3 )