>>357
背理法の枠組みの中では示していないから、上のような証明は厳密には正しくないが、正しい。
以前、そういうことを教授はいっていた。尚、極限の一致性は暗に用いている。