Added proof of map f . map g = map ( f . g )