 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.