Ověření některých vzorců pro geometrické pravděpodobnosti - Pivnička, Oldřich. (1952)