La propiedad universal del grupo producto demuestra que "G" es adjunto derecho de "F".