>>521
>「Gと同型だがGではない」というヒントで、ピンと来るひとはピンと来る。
https://ja.wikipedia.org/wiki/%E6%8C%87%E6%A8%99%E7%BE%A4
>「同型だが同一ではない」というのは、「自然同型ではない」ということ。
https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%B3%E3%83%88%E3%83%AA%E3%83%A3%E3%83%BC%E3%82%AE%E3%83%B3%E5%8F%8C%E5%AF%BE