The fоllоwing cоmpleted proof is correct. (∃x)(Jx · Kx) (x)(Kx ⊃ Lx) (x)(Lx ⊃ Mx) / (∃x)(Jx · Mx) Jа · Kа 1, EI Kа ⊃ La 2, UI La ⊃ Ma 3, UI Ka 4, Simp La 5, 7, MP Ma 6, 8, MP Ja 4, Simp Ja · Ma 10, 9, Conj (∃x)(Jx · Mx) 11, EG