First proof with interpolants