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