Rational Generating Functions Give Linear Recurrences