differential topology – Proof of collar neighborhood theorem

I’m trying to understand the proof of the collar neighborhood theorem given in the following document:


At the end of the proof it says that we can argue by contradiction using the compactness of $partial M$ to construct the desired diffeomorphism, but I don’t see how too do it.

Could anybody help me?

Thanks in advance.