>>457
まさにその通りです！

>>458
じゃあ、値は一致するけど、安全策ということで、
反例は特に考えられない、と理解して大丈夫ですか？

>>461
だんだんわかってきました。
要は、念のための保険だと。