Capitulo 4.6 prop 4.23 Kruskal