これ問題があったとして本当に逆位相だって証明出来るんかね
一度怪しく感じるとフィルターが掛かりそうな気が