EXAMPLE OF PROOF (EOP) - Pump