Buatlah bukti satu baris yang dibenarkan pada satu waktu - setiap langkah harus mengikuti apa yang sudah ada di buku besar, dan lompatan logis apa pun akan dibuang.
Panel kiri menunjukkan gambar, hal yang diberikan, dan tujuannya. Bagian tengahnya adalah buku besar pernyataan dan pembenaran dua kolom yang Anda buat. Dari kumpulan langkah kandidat, tambahkan satu per satu; suatu langkah diterima hanya jika prasyaratnya sudah terbukti. Turunkan tujuan untuk melengkapi pembuktian.
Lemma mengajarkan pembuktian deduktif yang ketat, menegaskan bahwa setiap langkah dapat dibenarkan.
Membangun buku besar dua kolom berisi pernyataan dan alasan dari kumpulan langkah kandidat adalah pembuktian matematis sebagaimana diajarkan dalam geometri.
Menyediakan langkah-langkah kandidat adalah perancah orisinalnya.
Menawarkan langkah-langkahnya menghapus bagian yang sebagian besar berupa penciptaan dan menyisakan bagian yang sebagian besar berupa logika: menentukan apa yang mengikuti dari apa, dan dalam urutan apa. Langkah yang benar tetapi belum dibenarkan adalah kesalahan khasnya, dan kesalahan itu hanya terlihat dalam bentuk dua kolom.
Lemma adalah permainan logika browser gratis asli yang mengajarkan pembuktian deduktif yang ketat, menegakkan bahwa setiap klaim dibenarkan oleh baris sebelumnya seperti yang diminta oleh pembuktian geometri dua kolom yang sebenarnya.