Thank you ever so much. So, these Bernoulli polynomials, how do I actually know they all have rational coefficients? I'm guessing if you can prove that the Bernoulli polynomials have rational coefficients, then it follows that each Bernoulli number is also rational. How would you go about showing that?