Add prove of assertation in excercise 4