@relinde @peterrowlett @aperiodical we stated it as "sum of three ODD primes". 7=2+2+3 is the only one you need an even prime for