>>59
必要条件だけど十分条件ではないと思う