>>881
Qは有理数でいいのか?だったら自明だな