En 2002, se publicó una prueba simplificada de corrección de este algorítmo.