Taking into account ties in the two-sample Wilcoxon test

One gives a probability proof of the well-know formula for the computation of the variance of the two-sample Wilcoxon test statistic under the presence of ties.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 119, pp. 195–197, 1982.