para probar que dos grupos no son isomorfos basta con verificar que hay una