Some improvement of lower bounds for steps and sizes of proofs in Frege systems