Some more explanation of why the euler symplectic method is actually
symplectic.