定理の名前?(笑)
自分で勝手につけりゃいいんじゃね(笑)