>>605
「含む」と呼べるか疑問なほど、
繋がりは薄いと思うがな。
で、既に他の人が指摘しているように、
この定理がカバーしている部分以外にも
示されるべき非自明な箇所があるわけだが。