theorem Th38: :: NUMBER03:38

Euler 0 = 0