Also called the Tait flyping conjecture. Given two reduced alternating projections of the same knot, they are equivalent on the sphere iff they are related by a series of flypes. The conjecture was proved by Menasco and Thistlethwaite (1991, 1993) using properties of the Jones polynomial. It allows all possible reduced alternating projections of a given alternating knot to be drawn.