theorem Th5: :: DIOPHAN1:5

for n being Nat
for r being Real st r is irrational holds
0 < (scf r) . (n + 1)