必要十分条件

Qのp個の打ち上げは、その後、pは確立Qための十分条件です。