String palabra(int i) {
    Nodo nodo= raiz;
    while (nodo!=null) {
      if ((i-1)<nodo.menores)
        nodo= nodo.izq;
      else if ((i-1)==nodo.menores)
        return nodo.pal;
      else {
        i= i-nodo.menores-1;
        nodo= nodo.der;
      }
    }
    return null;
  }

  void definir(String pal, String def) {
    if (raiz==null)
      raiz= new Nodo(pal, def, 0, null, null);
    else {
      Nodo nodo= raiz;
      while (true) {
        int cmp= pal.compareTo(nodo.pal);
        if (cmp==0) { // Este caso no se pedía
          System.out.println("la palabra tiene una definición previa");
          System.exit(1);
        }
        else if (cmp<0) {
          nodo.menores= nodo.menores+1;
          if (nodo.izq==null) {
            nodo.izq= new Nodo(pal, def, 0, null, null);
            return;
          }
          nodo= nodo.izq;
        }
        else {
          if (nodo.der==null) {
            nodo.der= new Nodo(pal, def, 0, null, null);
            return;
          }
          nodo= nodo.der;
        }
      }
    }
  }