NAT , RAT are_equipotent