1. Sijoita paperille luvut 1-13 merkitsemään yllä olevan kokoomalauseen alakohtia. Kyseisen lauseen todistusta seuraten vedä nuoli vuorotellen numerosta toiseen silloin, kun lauseen todistuksen mukaan asianomaisesta kohdasta seuraa toinen kohta. Yhtäpitävien väitteiden kohdalla vedä nuoli molempiin suuntiin. Tällä tavalla saat eräänlaisen suunnatun verkoston. Tarkista nyt, että jokaisesta numerosta pääset nuolien suuntaan edeten mihin tahansa toiseen numeroon. Jos näin todella tapahtuu, ovat lauseen todistuspäättelyt riittävät osoittamaan kaikki esitetyt väitteet keskenään yhtäpitäviksi. Jos jostain numerosta et pääse johonkin toiseen numeroon ollenkaan, tarkista, että olet varmasti vetänyt kaikki päättelynuolet.