theorem Th20: :: NUMBERS:20

NAT c= COMPLEX by Th10;