A normal scale mixture representation of the logistic distribution

In this paper it is shown that the logistic distribution can be represented as a scale mixture of the standard normal distribution where the mixing density is related to the Kolmogorov--Smirnov distribution. Two derivations of the theorem are presented that give rise to two different representations of the Kolmogorov--Smirnov distribution. The induced identity is of independent interest and is not widely published nor easily derived directly.