"v" で作業する代わりに、可算推移モデルmと(p,≤,1) ∈ mを考える。