Kruskal–Katona_theorem loading ...