>493
x が整数に限られる証明まだ？

終わりました。