Stinespring's theorem says that all completely positive maps are compositions of *-homomorphisms and these special maps.
Stinespring's theorem asserts that all positive maps can be constructed from *-homomorphisms, along with a specific type of map.