>>573
どこに自明の理なるものが設定されてるって？
この場合の「らしい」は定理がその名前で呼ばれていることに関する話で、
定理の証明が厳密かどうかとは関係ないが。