O teorema da interpolação de Craig e a dispensabilidade das entidades teóricas

Ideia geral da parte final, que ficou pouco clara: