On meta complexity of propositional formulas and propositional proofs