Added subsection on Existence of Common Solutions