 Suppose the point formula_25 not equal to formula_23 lies on the curve and consider formula_27.As formula_28 can be simplified to formula_29, we see that formula_30 is also a point on the curve.formula_30 is called the opposite of formula_32 and formula_32 is called a Weierstrass point if formula_34, i.e.