已知实数x,y,z满足x=6-y,z2=xy-9,求证:x=y.