Writing a Network Flow Proof