>>244
その証明を追えばどんな群と表現空間で主張が成り立たないか分かるよ