QED Midsegment Proof