Minkä tahansa luvun voi typistää yhdeksi numeroksi: laske sen numerot yhteen ja toista, kunnes jäljellä on yksi. Luvusta 47 tulee 4 + 7 = 11 ja sitten 1 + 1 = 2.
Kokeen koko idea on siinä, että tämä typistys kestää kertomisen ja yhteenlaskun. Jos lasku pätee luvuille, sen on pädettävä niiden typistetyille muodoille:
47 × 23 = 1081 → 2 × 5 = 10 → 1, ja 1081 → 1. Täsmää.
Jos nuo kaksi eivät täsmää, vastauksessa on varmasti virhe. Koe itsessään on helppo, koska kaikki työ tehdään yhdellä numerolla.
Rehellinen varoitus. Koe löytää virheitä mutta ei todista oikeellisuutta. Väärällä vastauksella voi sattumalta olla sama typistetty muoto, ja yksi tapaus on erityisen yleinen: vaihtuneet numerot. Sekä 1081 että 1801 typistyvät ykköseksi, joten tämä koe ei näe sitä virhettä.
Juuri siksi se kuuluu pariksi suuruusluokan arvioinnille. Arvio kertoo, onko vastaus oikeassa paikassa, ja yhdeksän koe nappaa monet pienemmistä virheistä, jotka eivät suuruusluokkaa muuta.
Sama numeroiden summa esiintyy jaollisuussäännöissä, missä sillä testataan jaollisuutta yhdeksällä.
Harjoitus antaa valmiin laskun ja kysyy neljä typistystä: molemmat tekijät, typistettyjen numeroiden tulon ja vastauksen. Kahden viimeisen on tultava samaksi, ja siinä on koko koe.