>>617
　(x - y)^3 = x^3 - y^3 - 3 x y (x - y)
について，直接計算によって
　x^3 - y^3 = 4
　x y = 1
がわかるので，x - y = t とおいて
　t^3 + 3 t - 4 = 0
を得る．左辺を因数分解すると
　(t - 1)(t^2 + t + 4) = 0
となるが，
　t^2 + t + 4 = (t + 1/2)^2 + 15/16 > 0
なので，t - 1 = 0 でなければならない．

∴ x - y = 1