Teorema de clasificación por homotopía de espacios topológicos