(25 points) consider the following python function (we provided line numbers so you can write the proof more easily by referencing the line numbers as needed):