theorem Th121: :: NUMBER17:121

for s being Nat st s > 2 holds
ex f being b₁ -element natural-valued increasing positive-yielding FinSequence st f is with_sum_of_reciprocals_equal_1