สร้างบรรทัดพิสูจน์ทีละบรรทัด — ทุกขั้นตอนจะต้องต่อจากสิ่งที่มีอยู่แล้วในบัญชีแยกประเภท และการก้าวกระโดดเชิงตรรกะใดๆ ก็ตามจะถูกโยนทิ้งไป
ช่องด้านซ้ายจะแสดงตัวเลข สิ่งที่ได้รับ และเป้าหมาย ศูนย์กลางคือบัญชีแยกประเภทสองคอลัมน์ของใบแจ้งยอดและเหตุผลที่คุณสร้างขึ้น จากกลุ่มขั้นตอนของผู้สมัคร ให้เพิ่มทีละขั้นตอน ขั้นตอนจะได้รับการยอมรับก็ต่อเมื่อมีการพิสูจน์ข้อกำหนดเบื้องต้นแล้วเท่านั้น บรรลุเป้าหมายในการพิสูจน์ให้เสร็จสิ้น
เลมมาสอนการพิสูจน์แบบนิรนัยที่เข้มงวด โดยบังคับให้ทุกขั้นตอนมีความชอบธรรม
การสร้างบัญชีสองคอลัมน์ของข้อความและเหตุผลจากกองขั้นตอนที่เป็นตัวเลือก คือการพิสูจน์ทางคณิตศาสตร์ตามที่สอนในเรขาคณิต
การให้ขั้นตอนที่เป็นตัวเลือกคือโครงค้ำที่เป็นต้นฉบับ
การเสนอขั้นตอนตัดส่วนที่ส่วนใหญ่เป็นการคิดค้นออก และเหลือส่วนที่ส่วนใหญ่เป็นตรรกะ: การตัดสินว่าอะไรตามมาจากอะไร และในลำดับใด ขั้นที่เป็นจริงแต่ยังไม่มีเหตุผลรองรับคือความผิดพลาดที่เป็นลักษณะเฉพาะ และมันมองเห็นได้เฉพาะในรูปแบบสองคอลัมน์
Lemma เป็นเกมลอจิกเบราว์เซอร์ต้นฉบับฟรีที่สอนการพิสูจน์นิรนัยอย่างเข้มงวด โดยบังคับให้ทุกการกล่าวอ้างได้รับการพิสูจน์ด้วยบรรทัดก่อนหน้า เช่นเดียวกับความต้องการการพิสูจน์เรขาคณิตสองคอลัมน์จริง