[**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]