func is_long_prime(p) {
    znorder(10, p) == p-1
}