for n being odd Nat holds n divides Triangle n