The relations between the proof complexities of strongly equal classical tautologies in Frege systems