Road coloring theorem (source code)

= Road coloring theorem
{wiki=Road_coloring_theorem}