今、杉浦さんの解析入門2を見てみましたが、変ではありませんでした。
>>151 はポントリャーギンの本でのステートメントですが、杉浦光夫著『解析入門2』のようにステートメントを書けば、変な感じがなくなります。