How does this prove that?