Prvočíselný vzorec. Jeho ekvivalenty a důsledky - Nekvinda, Arnošt (A. Nekvinda, 1992)