every even number is the sum of two primes · arcs connect all pairs · holds for all checked n · unproven · runs locally