Dirac theorem (source code)

= Dirac theorem
{c}
{wiki=Dirac's_theorem}

Every graph on $n\ge3$ vertices with minimum degree at least $n/2$ has a Hamilton cycle.