Babylon song. 奈良 王寺 ホテル. ナカオタカシ.

Hinge theorem and its converse.