theorem Th37: :: PREPOWER:37

for k being Integer holds 1 #Z k = 1