For each point , choose a global section whose germ generates the rank-one free -module . The section is global, and tensor products commute with taking stalks. Therefore
generates . Thus the tensor square is globally generated. More generally, the tensor product of globally generated line bundles is globally generated: choose a generator section for each factor at the point and tensor them. This works on every scheme, including nonreduced schemes.