rewrote second proof