必要条件から考えて十分性を示す