a proof interlined with corrections