Es sei K {\displaystyle {}K} ein Körper und seien F , G ∈ K [ X , Y ] {\displaystyle {}F,G\in K[X,Y]} zwei Polynome ohne gemeinsamen nichtkonstanten Faktor. Dann gibt es nur endlich viele Punkte P 1 , … , P n {\displaystyle {}P_{1},\ldots ,P_{n}} mit P i ∈ V ( F , G ) {\displaystyle {}P_{i}\in V(F,G)} .