Gale–Ryser theorem — Theorem in graph theory