Approximation theorems in o-minimal structures

We prove that, in any o-minimal structure, definable C-r mappings can always be approximated by definable Cr+1 mappings. As an application we obtain definable triviality for pairs of definable proper submersions.