Let the smooth projective curve be the projective completion of , of degree , and suppose after interchanging and if necessary that is nonzero. A basis of its holomorphic differential forms is
Equivalently one may use . These expressions agree on their common domain because differentiating gives . The allowed monomials are precisely the homogeneous polynomials of degree at most , in accordance with the Adjunction formula .