PROOF INVERTER