>>38
∀x(A⇒B) と ∀xA ⇒ ∀xB との違いはわかりますか?