O Formalismo De Hamilton-Lagrange. C. Q. D. 2020, 18.