Как-то так...
если х=3 (или х=-3),
получаем: 0*(y^2-9) = 0 ---тождество, верное для любых (у)
если у=3 (или у=-3),
получаем: (х^2-9)*0 = 0 ---тождество, верное для любых (х)
если взять любое другое х из ООФ, например х=1
получим -8*(у^2 - 9) = 0 ---> y = +-3 и так для любого (х)
получился квадрат)))