Chrobak Marek
Poljak Svatopluk
A generalization of Smith's theorem