Maybe for his next paper he could do:
"Every even number greater than five is the sum of three primes and one" Though one is a funny prime and with that I did not say four primes too keep the peace. Can reference his previous paper and with that get two papers for less than 134 pages compared to only one proof for 133 pages.
No I can't say what my pet project is, not everybody does lottery tickets ;).