confuse in proof.

text deleted