17*17 - 2*17*x + 2*x*x = 13²