Bumuo ng isang patunay ng isang makatwirang linya sa isang pagkakataon — bawat hakbang ay dapat sundin mula sa kung ano ang nasa ledger na, at anumang lohikal na paglukso ay itatapon.
Ang kaliwang pane ay nagpapakita ng figure, ang mga ibinigay at ang layunin. Ang sentro ay isang dalawang-column ledger ng pahayag at katwiran na iyong binuo. Mula sa pool ng mga hakbang ng kandidato, magdagdag ng isa-isa; ang isang hakbang ay tinatanggap lamang kapag ang mga kinakailangan nito ay napatunayan na. Kunin ang layunin upang makumpleto ang patunay.
Itinuro ni Lemma ang mahigpit na deductive proof, na nagpapatupad na ang bawat hakbang ay makatwiran.
Ang pagbuo ng dalawang-column na talaan ng pahayag at katwiran mula sa isang pondo ng mga kandidatong hakbang ay ang patunay sa matematika gaya ng pagkakaturo nito sa heometriya.
Ang pagbibigay ng mga kandidatong hakbang ang orihinal na balangkas-suporta.
Ang pag-aalok ng mga hakbang ay nag-aalis sa bahaging kadalasang imbensyon at iniiwan ang bahaging kadalasang lohika: ang pagpapasya kung ano ang sumusunod sa ano, at sa anong pagkakasunod. Ang hakbang na totoo ngunit hindi pa nabibigyang-katwiran ang katangiang pagkakamali, at nakikita lamang ito sa dalawang-column na anyo.
Ang Lemma ay isang orihinal na libreng browser logic game na nagtuturo ng mahigpit na deductive proof, na nagpapatupad na ang bawat claim ay nabibigyang katwiran sa pamamagitan ng mga naunang linya tulad ng isang tunay na two-column geometry proof na hinihingi.