modified proof slightly?