Prove in natural deduction

Enter a sequent and build the proof in Fitch notation, with every line checked.