>>561 の (4) を次のように修正する。

(4) E の位相は各 g_i を連続にするような最も強い(または細かい)
局所凸な位相である。