というかもしかして
f(x)⇔t^2+5と書かないといけなかったり？
必要十分条件満たしてそうだし