∀x∈Φ(P(x)) は ∀x(x∈Φ⇒P(x)) の略記だから常に真