On taking into consideration the effect of ties in the two-samples Wilcoxon test

A probability proof is given for the well known formula for the variance of the two-sample Wilcoxon test's statistic, taking into consideraction the effect of ties.