Tengeneza uthibitisho wa mstari mmoja uliohalalishwa kwa wakati mmoja - kila hatua lazima ifuate kile ambacho tayari kiko kwenye leja, na mruko wowote wa kimantiki hutupwa nje.
Kidirisha cha kushoto kinaonyesha takwimu, zawadi na lengo. Kituo hiki ni leja ya safu wima mbili ya taarifa na uhalalishaji unayounda. Kutoka kwa kundi la hatua za mgombea, ongeza moja kwa wakati; hatua inakubaliwa tu wakati mahitaji yake tayari yamethibitishwa. Pata lengo la kukamilisha uthibitisho.
Lemma anafundisha uthibitisho mkali wa kupunguza, akisisitiza kwamba kila hatua ina haki.
Kujenga daftari la safu mbili la kauli na uthibitisho kutoka hifadhi ya hatua zinazowezekana ni uthibitisho wa kihisabati kama unavyofundishwa katika jiometri.
Kutoa hatua zinazowezekana ndio kiunzi asilia cha msaada.
Kutoa hatua huondoa sehemu ambayo kwa kiasi kikubwa ni ubunifu na kuacha sehemu ambayo kwa kiasi kikubwa ni mantiki: kuamua kipi kinafuata kutoka kipi, na kwa mpangilio upi. Hatua iliyo kweli lakini bado haijathibitishwa ndilo kosa la kawaida, na huonekana tu katika muundo wa safu mbili.
Lemma ni mchezo asilia wa kimantiki wa kivinjari usiolipishwa ambao hufundisha uthibitisho mkali wa kukata, unaolazimisha kwamba kila dai lithibitishwe na mistari ya awali kama vile madai halisi ya jiometri ya safu mbili.