simplified otp-lem by factor it a little