for A being complex-membered set holds 0 ++ A = A