Kruskal–Katona Theorem - Ontify