On a specialization of processing of axions in proof procedures for axiomatic theories with equality

While searching (from the bottom to the top) for sequenzenproof in calculi without structural rules one has, to introduce subformulas of axioms (thistrick allows to avoid explicit introduction of the cut-rule). In this paper there are investigated some possibilities of minimization of number and the scope of applications of this trick in axiomatic theories with equality.