定理5.20の3番目と5番目の証明がうまくいきませんとか言われても知るかバカ