 Tait crossing-number theorem

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.