A função `Pertence()` não está verificando se o parâmetro `p` é um ponteiro nulo e, ao acessar o elemento `conteudo`, ocorre o erro no *runtime*.

Basta alterar o `if` dentro da função para fazer essa verificação antes do acesso:

    int Pertence (celula *p, int x) {
         celula *q; int pt;
         q = p;
    
         while (q != NULL && q->conteudo != x)
               q = q->prox;

         // AQUI  => verifica se q é diferente de NULL antes de acessar conteudo 
         if (q != NULL && q->conteudo == x) pt = 1;
         else pt = 0;
    
    return pt;
    }

O resultado da execução, após a alteração:

    8 2 1 3 9
    5
    pertence
    7 3 5 1
    3 1       <== interseccão