Velg et lag A og la

A, X, Y, Z, ........., Æ

være den lengste sekvensen av lag som begynner med A, der hvert lag forekommer høyst én gang, og der hvert lag har slått det neste på listen. Vis at denne listen må inneholde alle lag.