La prueba original es compleja y pruebas más cortas han sido halladas usando los Polinomios de Legendre.