Aleksanyan, S. R. . . On Some Proporties of Frege Proofs. MPCS 2021, 29, 117-122.