Let $k$ be a field, let $n\ge 1$, and set $S:=k[x_0,\dots,x_n]$. Let $X\subset \mathbb P_k^n$ be a nonsingular irreducible projective $k$-variety with $\dim X\ge 1$. Let $L\in S_1$ be a nonzero homogeneous linear form, let
where $Y$ ranges over the prime divisors of $X$ and $\operatorname{ord}_Y(s_L)$ is computed by expressing $s_L$ in any local trivialization of $\mathcal O_X(1)$ at the generic point of $Y$. Then $H|_X$ is an effective divisor on $X$.