  In this paper we prove a weighted sum formula for multiple harmonic sums
modulo primes, thereby proving a weighted sum formula for finite multiple zeta
values. Our proof utilizes difference equations for the generating series of
multiple harmonic sums. We also conjecture several weighted sum formulas of
similar flavor for finite multiple zeta values.
