For every maximal cone, one endpoint of the interval of lattice points from part a realizes the corresponding Cartier datum. The toric basepoint-free criterion therefore makes O(kD1) basepoint-free for k≥0. Equivalently, part d identifies it with the pullback of the globally generated bundle OP1(k).