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 F12 hypergeometric series. In this paper we will prove some consequences of contiguous relations of F12.