Tait crossing-number theorem (source code)

= Tait crossing-number theorem
{c}

Every reduced alternating diagram of a link has the minimum possible number of crossings. This result is one of the former Tait conjectures.

It is the minimum-crossing assertion among the <Tait conjectures>.