We consider a situation in which general financial products such as options, CDS, and other derivatives, are traded to investigate the effect of cross-ownerships on market stability. We prove the existence and uniqueness of a clearing payment vector under the assumption of the fictitious default...