Some changes towards updating the proof.