Si el funtor "F": "C" → "D" tenía dos adjuntos derechos "G" y "G", entonces "G" y "G" son naturalmente isomorfos.