এই রিপোজিটরিটি মৌলিক সংখ্যা ব্যবধান সীমা: liminf(p_{n+1}-p_n)≤186-এর একটি লিন 4 ফর্মালাইজেশন উপস্থাপন করে। এটি DHL উপপাদ্য থেকে উদ্ভূত, 40টি পূর্ণসংখ্যার একটি গ্রহণযোগ্য টুপল ব্যবহার করে। মূল ফলাফলটি শর্তসাপেক্ষ, তিনটি অ্যাক্সিওমের উপর নির্ভরশীল: একটি ক্লুস্টারম্যান যোগফল সীমা, একটি সম্পর্ক সীমা এবং একটি সংখ্যাসূচক সার্টিফিকেট। ফর্মালাইজেশনে একটি পাইথন স্ক্রিপ্ট অন্তর্ভুক্ত রয়েছে যা সংখ্যাসূচক অসমতা যাচাই করে। লিন কোডটি মূল উপপাদ্য এবং সহায়ক লেমাগুলির ঘোষণার সাথে কাঠামোবদ্ধ, এবং এটি লিনের কার্নেল ব্যবহার করে লিনাক্স ভিএম-এ পরীক্ষা করা হয়েছে, উল্লিখিত অ্যাক্সিওমগুলি গ্রহণ করে।