In this paper we corrected the proof of the Theorem 2 from the
Gower‘s paper [4, page 5].
This correction was needed in order to establish the existence of
the kernel function used commonly in the kernel trick e.g. for k-means clustering algorithm, …