Effective freeness of adjoint line bundles.
We prove a multiple-points higher-jets nonvanishing theorem by the use of local Seshadri constants. Applications are given to effectivity problems such as constructing rational and birational maps into Grassmannians, and the global generation of vector bundles.