  The sum formula is one of the most well-known relations among multiple zeta
values. This paper proves a conjecture of Kaneko predicting that an analogous
formula holds for finite multiple zeta values.
