Proved that extension of a Lipschitz function is Lipschitz