Proving that extend is Lipschitz