基本亜群に関するファン・カンペンの定理.