Construcción del funtor Tor (método de resolución proyectiva) y propiedades