反例が仮定を満たしてないわけだが