theorem Th35: :: PREPOWER:35

for a being Real holds a #Z 1 = a