theorem :: NUMBERS:11

REAL c= COMPLEX by Th1;