https://123dok.net/document/q7w70e5v-verification-axioms-euclidean-relativistic-fields-theorem-mathjax-formula.html