Como ese isomorfismo y su inverso (definido en su imagen) son claramente continuos, concluimos que el grupo afín es un grupo