On the polar decomposition of an operator - Furuta Takayuki (1983)