Redirecting to Kruskal–Katona theorem