Moreover, since p0 ∈ φ(0) ⊂ , it must be the case that p0 ≥ 0 and hence condition (5) is fulfilled.
さらに、p0 ∈ φ(0) ⊂  であるため、p0 ≥ 0 は必ず成立し、条件 (5) は満たされる。