for z being Complex holds (z ") *' = (z *') "