При каких a система имеет решения
`{(y=x^2+1),(x^2-y^2+(a+1)x+(a-1)y+a=0):}`

Пробовал подставлять первое во второе, но ничего толком не добился, может как-то по-другому?