Uniqueness of the Point at Infinity on a Short Weierstrass Cubic