تصور کنید می‌خواهید ثابت کنید بی‌نهایت زوج عدد اول وجود دارد که تفاضل‌شان 2 است؛ به جای آن ثابت می‌کنید بی‌نهایت زوج عدد اول وجود دارد که تفاضل‌شان کمتر از 70,000,000 است. این بزرگ‌ترین کشف ریاضی سال‌های اخیر است.