proposition 6.4.3を見てないでしょ
有限群にしか通用しない荒っぽい論証だとは思うが