Added proof to Primes = {2}