>>312
実数ということだけではダメなのでしょうか。
一般的な定理を証明させる問題のようです。