On proper colorings of hypergraphs - Nick Gravin; Dmitrii Karpov (2011)