>>556

∀a:D∃a⇒A∃a
が成り立つ時、DはAの部分集合で、DはAに含まれますよね…?