theorem Th34: :: PREPOWER:34

for a being Real holds a #Z 0 = 1