The AKS verification of primality operates on the bit-length of each factor, but the product of thes...