# why are CAT(0) spaces contractible?

In the book of Bridson and Haefliger it is said that 'it follows easily' from what they proved before. Does anyone know of a rigorous proof that CAT(0) spaces are contractible?