Source: https://members.cbio.mines-paristech.fr/~jvert/svn/bibli/local/Aronszajn1950Theory.pdf