ありがとうございます。

念のための確認ですが、
P145 Remarkで、It can be shown とあるのは、
It is known
であって、
It is clear
と思わずに認めてよいのですよね？