NAT , INT- are_equipotent