\qquad  (k^2-4)a^2-b^2=4 \iff (k^2-4)a^2-(2y-ka)^2=4 \iff k^2a^2-4a^2-4y^2+4kay-k^2a^2=4 \iff