Construcción de los funtores Ext (método de resolución inyectiva) y sus propiedades