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