>>358あたりを読んでて思ったのだが(と言うか前から気になってたのだが)
x=cost , y=sint ⇒ x^2 + y^2 = 1は明らかだけど
x^2 + y^2 = 1 ⇒ ∃t(x=cost , y=sint)
はどのように示されるのか誰かご存じではあるまいか