x la a 2 supra xy la a 2 +y supra y-x