Extended proof of main result.