Soient F et G telle que F → G soit une tautologie. Il existe une formule propositionnelle C, dont les variables propositionnelles apparaissent dans F et G , telle que F → C et C → G soient deux tautologies.

Démontrer le théorème d'interpolation.
(on pourra raisonner par récurrence sur le nombre de variables qui ont au moins une occurrence dans F sans en avoir dans G).