07ra propiedad relevamte del cocigl0 DEOBSTRUCSIÓM es 3L dcho qve el gociclo de OVSFRICDIÓM Rara ora aRlifasiób "g" Kefinida en el "k"-es9urletk Q coijcIda com "" en dI "(k-1)"-wskele7odlfiere DEL cociclo de obs7rucsiom RE "f" 3n JMA 0Qgromtera. 

 En Pesunen lx diwcusióm anteri0r confuce al sigujemts

 5oreka: Sea "f" a"Y" una aRlicación SETINIDA em el "J"-ESQK3LETO re "X", i Y es snñlemebtr conso ejtonces eKiste UNX lasf "c(f)"em el gPupp (K+1)-EEIWO de COHOWOLOGÍA del 1ar (xa) ck coeficjenhes en el "K"-ÉSIMO rrupo oe homotQpia de "v" i.e
Otra propiedad relevante del cociclo de obstrucción es el hecho que el cociclo de obstrucción para otra aplicación "g" definida en el "k"-esqueleto que coincida con "f" en el "(k-1)"-esqueleto difiere del cociclo de obstrucción de "f" en una cofrontera. 

 En resumen, la discusión anterior conduce al siguiente

 Teorema: Sea "f" a "Y" una aplicación definida en el "k"-esqueleto de "X", si Y es simplemente conexo entonces existe una clase "c(f)" en el grupo (k+1)-ésimo de cohomología del par (X,A) con coeficientes en el "k"-ésimo grupo de homotopía de "Y", i.e.
all
wikipedia