La primera prueba rigurosa del teorema fue dada por Denis Evans y Debra Searles en 1994.