 From the graph of formula_70 it is clear that this does not need to hold for an arbitrary hyperelliptic curve.Actually, Bézout's theorem states that a straight line and a hyperelliptic curve of genus 2 intersect in 5 points.So, a straight line through two point lying on formula_70 does not have a unique third intersection point, it has three other intersection points.