Tait conjectures (source code)

= Tait conjectures
{c}
{wiki}

The Tait conjectures concern reduced <alternating knot diagrams>: they minimize the <crossing number of a knot>, have an invariant diagram <writhe>, and are related by flypes. These formerly conjectural assertions are now theorems; the first is the <Tait crossing-number theorem>.