Completitud esencial de la clase de controles basados en un proceso suficiente