>>377
定理という程の名前はなかったと思う。