added proof of main proximal result to dissertation