The region of integration can be broken in n! sub-regions defined by t1 > t2 > ... > tn, t2 > t1 > ... > tn, etc. Due to the symmetry of K, the integral in each of these sub-regions is the same and equal to Sn{\displaystyle S_{n}} by definition. So it is true that