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