Věty o počtu a rozdělení prvočísel - Kotlán, Jaroslav (1965)