  We give a short proof, using generating functions, for a polynomial
congruence for Eulerian polynomials first proved, using arrangements of
hyperplanes, by Yoshinaga and later proved, using roots of unity, by Iijima,
Sasaki, Takahashi, and Yoshinaga.
