improved third proof
typos