Este resultado es importante, ya que presenta la prueba como una secuencia sencilla de pasos lineal en "n" donde todas las operaciones básicas (productos, restas, módulos, comparaciones) son computables en tiempo polinómico.