複素数の絶対値
↑ Argand 1874, p. 122.
↑ ブルバキ 1968, p. 93, 命題 3..