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.