and the RHS factors as the difference of two squares.
The title really says it all. My research adviser showed me the problem: is not prime, apparently. He said that the proof is very short, elegant and elementary, but that he couldn't have seen it unless someone showed him. I also don't see it.