একবারে একটি প্রমাণ একটি ন্যায্য লাইন তৈরি করুন — প্রতিটি পদক্ষেপকে অবশ্যই খাতায় ইতিমধ্যে যা আছে তা থেকে অনুসরণ করতে হবে এবং যেকোন যৌক্তিক লিপ বাদ দেওয়া হবে।
বাম ফলক চিত্র, প্রদত্ত এবং লক্ষ্য দেখায়। কেন্দ্র হল বিবৃতি এবং ন্যায্যতার একটি দুই-কলাম খাতা যা আপনি তৈরি করেন। প্রার্থী পদক্ষেপের পুল থেকে, একবারে একটি যোগ করুন; একটি পদক্ষেপ শুধুমাত্র তখনই গৃহীত হয় যখন এর পূর্বশর্ত ইতিমধ্যে প্রমাণিত হয়। প্রমাণটি সম্পূর্ণ করার লক্ষ্য অর্জন করুন।
লেমা কঠোর ডিডাক্টিভ প্রুফ শেখায়, প্রতিটা পদক্ষেপ ন্যায্য।
সম্ভাব্য ধাপগুলোর একটি ভান্ডার থেকে বিবৃতি ও যুক্তির একটি দুই-কলামের খাতা গড়া হলো জ্যামিতিতে যেভাবে শেখানো হয় সেভাবে গাণিতিক প্রমাণ।
সম্ভাব্য ধাপগুলো জোগানো হলো মৌলিক ভারা।
ধাপগুলো দিয়ে দেওয়া সেই অংশটি সরিয়ে দেয় যা মূলত উদ্ভাবন, এবং সেই অংশটি রাখে যা মূলত যুক্তি: কী থেকে কী আসে এবং কোন ক্রমে তা ঠিক করা। যে ধাপটি সত্য কিন্তু এখনো প্রমাণিত নয় তা-ই বৈশিষ্ট্যসূচক ভুল, আর তা কেবল দুই-কলামের রূপেই দৃশ্যমান।
লেমা হল একটি আসল ফ্রি ব্রাউজার লজিক গেম যা কঠোর ডিডাক্টিভ প্রুফ শেখায়, যেটি বাস্তবিক দুই-কলামের জ্যামিতি প্রমাণের দাবি অনুযায়ী প্রতিটি দাবিকে পূর্বের লাইন দ্বারা ন্যায্যতা প্রদান করে।