>>695
>実数で成立することを習ったに過ぎず、
>有理数で証明されたものではない。
任意の有理数は実数で、実数で成り立つから有理数でも成り立つのだが。