Proof. [02ND]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
Proof.
Let with . The effective domain of the recessions of and of is the whole of . By [Roc70, Theorem 10.5], both and are Lipchitzians, hence so is . β