(ただしはポッホハマー記号) とおくと、これは隣接関係式と呼ばれる次の関係式を満たす： 証明： ここで、 だから、 よって 両辺のn=1から∞までの和をとって よって この隣接関係式の両辺をF(a;z)でわり、 よって よってF(a;z)/F(a-1;z)=g(a), z/{(a-1)a}=k(…