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