theorem :: COMPLEX1:28

0 *' = 0 by Th4;