Essential Proof of Existence and Smoothness of Solutions to the Navier-Stokes Equations | Synapse