Tag: What is the missing statement in the proof