وبرهن برنارد دوورك على أولى هاد الفرضيات؛ وقدّم ألكسندر غروثنديك دليل مختلف تماما على الأوليين، بنظرية تماثل ℓ-adic.