[1] 必要十分条件は、必要条件かつ十分条件です。