session infinity_of_primes = NTP4Verif +
theories
  "infinity_of_primes_Top_prime_factorqtvc"
  "infinity_of_primes_Top_infinity_of_primesqtvc"
