Every holonomic sequence can be converted to a simple rational recursive sequence of order at most the order of the original holonomic sequence plus its degree.
