إتثبتت أولهم عن طريق برنارد دورك. قدم ألكسندر غروتينديك دليل مختلف جداً عن الأولين، عن طريق علم التعايش المشترك ال-اديك