  In 1988, Gross proposed a conjectural congruence between Stickelberger
elements and algebraic regulators, which is often referred to as the refined
class number formula. In this paper, we prove this congruence.
