S: {(x - x_{0})^(2) + y^(2) = L^(2), (y * x_{0}) = (b * (x_{0} - x))}
K: Eliminate(S, {x_{0}})
¥¦§¨©ª: Substitute(K(1) = 0, {L = 3, b = 5})