My proof of the edit