>>769
そもそも∀x∈R p自体∀x(x∈R→p)の略記という