Suppose C is the elliptic curve y^2 − x^3 − a = 0 where "a" is a rational number. Suppose P = (p, q) is a point on C with rational coordinates. Suppose further that L is the tangent line to C at point P. Let Q ≠ P be an intersection point of C and L. Then Q has rational coordinates.