¿Qué es la procedencia en el derecho?