>>397 知らないより知ってたほうが良いのは当然だけど、実際には無理でしょう
それとも知ってた方がというのは、証明フォローせずに存在を知ってればという意味？