Revised Proof