Kruskal Katona

Implemented Tools for checking the Kruskal Katona Theorem