theorem :: NUMBERS:13

RAT c= COMPLEX by Th3;