The set of hypergeometric functions
is accessible from an origin
is a subset of a
-module which is generated by a finite basis with size at most
This follows from the differential equation for
which has order
and the definitions of the shift and inverse shift operators.