Stinespring-Wittstock theorem