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