theorem Th37: :: NUMBER15:37

for n being Nat holds card { k where k is Nat : k divides 5 |^ n } = n + 1