theorem Th41: :: NUMPOLY1:41

for n being odd Nat holds n divides Triangle n