モーリーの定理の証明に補助定理として使えるインドの数学者の名を冠した定理が思い出せなかったのですが、今急に降りてきたことを報告します　ナラニエンガーの定理