Proof 01. 1 ⊢ E ↔ A ∧ B, hypo. 02. 2 ⊢ E, hypo. 03. 1, 2 ⊢ A ∧ B, lsubj_elim 1 2. 04. 1, 2 ⊢ B, conj_elimr 3. lsubj_conj_elimr. ⊢ (E ↔ A ∧ B) → E → B, subj_intro_ii 4.