On the proof that the $S$ matrix is unitary

Formal proof of the unitarity of the $S$-matrix in the functional form is gilven. The following assertion is proved: if in the perturbation theory the intermediate regularisation is introduced by means of the propagators of vitrual particles and the finite limit when the regularisation is taken off, exists, then the limiting $S$-matrix is unitary.