Short proofs of tautologies using the schema of equivalence