Jeff assumes that the opposite of what he is trying to prove is true. Jeff has
just completed the first step in which geometric process?
