P. Wójcik, “A simple proof of the Polar Decomposition Theorem”, Ann. Math. Sil., vol. 31, pp. 165–171, Aug. 2016.