Proper contraction map is Lipschitz
<No formulations for this result yet>
Proofs
<No proofs for this assertion yet>