Dinitz conjecture (source code)

= Dinitz conjecture
{wiki=Dinitz_conjecture}