for n being non zero Nat holds Triangle ((2 * n) -' 1) = (n * ((4 * n) - 2)) / 2