x^2の約数の総和がy^2になる自然数の組x,yは無限に存在するか。