Every 8-uniform 8-regular hypergraph is 2-colorable. - Noga Alon; Z. Bregman (Graphs Comb., 1988)