Talk:Sz.-Nagy's dilation theorem

What is S?
In the section Proof an operator S mysteriously appears. Is this supposed to be T? Ansatz (talk) 21:41, 22 December 2011 (UTC)