A General Theorem and Proof for the Identification of Composed CFA Models