Update groups_of_ec_points_over_finite_fields.tex