Add return of n-1 primality proof to is_provable_prime