We will suppose that it is not regular and construct a club set which gives us a μ such that: μ = cf(μ) < cf(κ) < μ < κ which is a contradiction.
正則でないと仮定して、以下のような μ を与えるclub集合を構成する: μ = cf(μ) < cf(κ) < μ < κ となり、これは矛盾である。