On the contiguous relations of hypergeometric series

Contiguous relations are a fundamental concept within the theory of hypergeometric series and orthogonal polynomials. Their study goes back to Gauss who gave a list of 15 "fundamental" relations for the multiscripts(F, 1, mml:none(), prescripts(), 2, mml:none()) hypergeometric series. In this paper we will prove some consequences of contiguous relations of multiscripts(F, 1, mml:none(), prescripts(), 2, mml:none()).