[HIDE]Prove that every formula is tautologically equivalent to one that contains no constants {⊤,⊥}.[/HIDE]