theorem Th47: :: NUMBER08:47

for n being non zero Nat holds Euler n divides n !