This is in some sense the easy direction of the conjecture, as it assumes the existence of a solution to a difficult partial differential equation, and arrives at the comparatively easy algebraic result.