Your Remedy is right but can be penned more Plainly as U(twenty) has an element of get four but G isn't going to. The justification is usually that isomorphisms preserve the get of components and so isomorphic ...
Oh https://hassannzdl344953.wikicorrespondence.com/3710634/the_5_second_trick_for_123456789