Proof of existence of the free convolution and properties, definition Cauchy transform, Stieltjes inversion formula, Cauchy Transform "=" (analytic) moment generating function