@id:4030 $name:マクミランの定理