confuse in proof.

text deleted

//