On Kreĭnʹs formula

Kreĭnʹs formula provides a parametrization of the generalized resolvents and Štraus extensions of a closed symmetric operator with equal possibly infinite defect numbers in a Hilbert space in terms of Nevanlinna families in a parameter space. The aim of this note is to give a simple complete analytical proof of Kreĭnʹs formula.