How to make a formal proof with A → (B ∨ C) ⊢ (A → B) ∨ (A → C) Here is what I've got so far: I feel like I need an indirect proof for this and so I need to prove a contradiction with one of line 4 or 5 I'm not sure how to approach it Any hints that can help