Apply the preceding argument to to obtain a nonconstant meromorphic function with simple poles exactly at . Both , and the constant function one, belong to .
If , examination at , where only has a pole, forces . Examination at , where only has a pole, forces , and then . Thus the three functions are linearly independent. Since the Riemann-Roch theorem gives ,
Articles by others on the same topic
There are currently no matching articles.