元定理の核心内容と証明戦略