A remark on last page, namely the comparison that is
made with Gosper's algorithm, is wrong because this only works
for homogeneous of order 1, whereas for Gosper's algorithm
one needs inhomogeneous of order 1 or homogeneous of order 2.