Linear Relations for Bernoulli Numbers and Its Application to Congruences Involving Harmonic Sums | Synapse