theorem Th11: :: POLYFORM:13
(- 1) |^ 2 = 1