what is the missing statement in the proof?