Voronoi's congruence via Bernoulli distributions Štefan Porubský (1984) Czechoslovak Mathematical Journal