Toda la demostración giraba en torno a la existencia de un adjunto derecho para cierto funtor.