for x being Complex holds
( x |^ 2 = x * x & (- x) |^ 2 = x |^ 2 )