Sz.-Nagy's dilation theorem
[ja] ナジーの伸張定理