what is the reason for the second statement in the proof
to prove what you are going to be talking about