Las dos propiedades acerca de los números primos detrás del test son: