finished primes proof