NAT , VAR are_equipotent