We show that OTC markets model with several assets (with market makers or not) have a unique steady state. Our proof is based on Rhon's version of Miranda's theorem which is a generalization of the intermediate value theorem. In addition, we provide a method for computing this steady state