theorem Th10: :: DIOPHAN2:13

for r being irrational Real
for h being Nat st h in HWZSet1 r holds
h > 0