[white paper: pedagogical]
We write the formulas of the theorem and the conjectures highlighted in the title of this white paper in the language of number theory for pedagogical purpose in first-order logic.
https://doi.org/10.31219/osf.io/u45y3
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 229, 2021 [IZ]