Beweis

Nach Voraussetzung ist der Punkt eine gemeinsame Nullstelle der . Nach Fakt besitzt die Anzahl aller gemeinsamen Nullstellen modulo den Rest . Daher muss es zumindest eine (genauer ) weitere gemeinsame Nullstelle geben.