verify the polynomial identity (a^2+b^2) (x+y)- (a^2y+ b^2x)