Edit File: EC_POINT_is_at_infinity.html