Una exposición de dicha prueba fue dada por Yuri Bilu en el Seminario Bourbaki.