एकरा मेसे पहला बर्नार्ड डवर्क द्वारा सिद्ध करल गेलई हल; पहले दो के एक पूरी तरह से अलग प्रमाण, ℓ -adic सह-समरूपता के जरिये, अलेक्जेंडर ग्रोथेंडिक द्वारा देल गेलई हल।