>>475
∃x∈AP(x)=∃x(x∈A∧P(x))
だが?