Redirecting to Silverman–Toeplitz theorem