proof sketch of otp-lem