theorem Th1: :: SERIES_2:1

for n being Nat holds |.((- 1) |^ n).| = 1