>>890
すべての実数k→kの恒等式ではだめなんでしょうか?