ডায়োফ্যান্টাইন সমীকরণগুলিতে জটিলতার সীমানার একটি আনুষ্ঠানিক প্রমাণ