theorem Th12: :: POLYFORM:14

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