x^2=2でしたね