The 1-factorization of complete graphs is a special case of Baranyai's theorem concerning the 1-factorization of complete hypergraphs.
1-факторизация полных графов является специальным случаем теоремы Бараньяи относительно 1-факторизации полных гиперграфов.