My proof- diary 1