Nash-Williams theorem (source code)

= Nash-Williams theorem
{wiki=Nash-Williams_theorem}