T451

f: y = 5
eq1: x^(2) + y^(2) + (2 * x) - (4 * y) - 20 = 0
A, B = Intersect(eq1, f)
eq2: x = (2 * y)
C, D = Intersect(eq1, eq2)