theorem Th11: :: POLYFORM:13

(- 1) |^ 2 = 1