Sz.-Nagy's dilation theorem
 
x
OK