maxima why there are infinitely many primes