theorem Th83: :: NUMPOLY1:83

for n being Nat holds 1 / (Triangle n) = 2 / (n * (n + 1))