My proof