theorem Th1: :: MESFUNC1:1

NAT , INT- are_equipotent