Lehen esaldia: non 5 formula Horne-ren funtzio finituetako bat den bi aldagaiekin eta 6 formula eta 7 formularen balio hipergeometriko batzen diren guztiekin. Honek ematen du: 2. esaldia: 5. formula Horn-en funtzio hipergeometriko bat da, bi aldagai dituena eta 6. eta 7. formulen balio finitu guztietarako konvergentea dena. Honek ematen du: Lehenengo esaldia eta bigarren esaldia zentzu berean daude? Bai edo ez?
-Ez, ez.