Kummer's congruence — Result in number theory on some congruences involving Bernoulli numbers