Re: [math-fun] [EXTERNAL] Re: Eight prime square theorem?