एक प्रमाण को एक समय में एक उचित पंक्ति का निर्माण करें - प्रत्येक चरण को बही पर पहले से मौजूद बातों से अनुसरण करना चाहिए, और किसी भी तार्किक छलांग को बाहर कर दिया जाएगा।
बायां फलक आकृति, दिए गए आंकड़े और लक्ष्य दिखाता है। केंद्र आपके द्वारा बनाए गए कथन और औचित्य का दो-स्तंभ वाला खाता है। उम्मीदवार चरणों के पूल से, एक समय में एक जोड़ें; कोई कदम तभी स्वीकार किया जाता है जब उसकी पूर्वापेक्षाएँ पहले ही सिद्ध हो चुकी हों। प्रमाण पूरा करने के लिए लक्ष्य प्राप्त करें।
लेम्मा कठोर निगमनात्मक प्रमाण सिखाती है, यह सुनिश्चित करते हुए कि हर कदम उचित है।
उम्मीदवार चरणों के एक भंडार से कथन और औचित्य की दो-स्तंभ वाली बही बनाना गणितीय उपपत्ति है, जैसी ज्यामिति में सिखाई जाती है।
उम्मीदवार चरण उपलब्ध कराना मौलिक आलंबन है।
चरण उपलब्ध कराना उस हिस्से को हटा देता है जो अधिकतर आविष्कार है और उस हिस्से को छोड़ता है जो अधिकतर तर्क है: यह तय करना कि किससे क्या निकलता है, और किस क्रम में। ऐसा चरण जो सच है पर अभी सिद्ध नहीं हुआ, विशिष्ट त्रुटि है, और यह केवल दो-स्तंभ रूप में दिखती है।
लेम्मा एक मूल मुफ़्त ब्राउज़र लॉजिक गेम है जो कठोर निगमनात्मक प्रमाण सिखाता है, यह सुनिश्चित करता है कि प्रत्येक दावे को पूर्व पंक्तियों द्वारा उचित ठहराया जाए जैसा कि वास्तविक दो-स्तंभ ज्यामिति प्रमाण की मांग है।