過去ログにあるしテンプレにもあるように有理数体で証明可能。