We show certain linear relations among Bernoulli numbers by using umbral calculus. As an application, we prove some congruence relations involving binomial coefficients and harmonic sums which appear in a certain supercongruence problem.
Kazufumi Kimoto (Wed,) studied this question.