Q4 Matemática  (Cono Sur Olympiad 1991)

Sabe-se que o número de soluções reais do seguinte sistema é finito. Prove que este sistema tem um número par de soluções: $(y^2+6)(x-1)=y(x^2+1)$ $(x^2+6)(y-1)=x(y^2+1)$