QED Midpoint Proof