اولین مورد توسط برنارد دوارک اثبات شد; دو اثبات اول کاملاً متفاوت از طریق هم شناسی ℓ-adic ارائه شده، توسط الکساندر گروتندیک.