Description: Every integer greater than 1 and less than or equal to 8 is the sum of at most 4 primes. (Contributed by AV, 24-Jul-2020) (Proof shortened by AV, 2-Aug-2020)