The Kraus representation is based on a theorem of WF Stinespring about completely positive images of finite-dimensional C*-algebras.
Die Kraus-Darstellung stützt sich auf ein Theorem von W. F. Stinespring über vollständig positive Abbildungen von endlich-dimensionalen C*-Algebren.