Talk:Stinespring dilation theorem