consider x being Element of Vars ;
take x -term C ; :: thesis: not x -term C is compound
thus not x -term C is compound ; :: thesis: verum