Redirecting to Stinespring factorization theorem