Proof 01. 1 ⊢ A ∧ B ∧ C ∧ D, hypo. 02. 1 ⊢ A ∧ B ∧ C, conj_eliml 1. 03. 1 ⊢ A ∧ B, conj_eliml 2. 04. 1 ⊢ A, conj_eliml 3. conj_elimlll. ⊢ A ∧ B ∧ C ∧ D → A, subj_intro 4.