theorem :: NUMBERS:16

INT c= COMPLEX by Th6;