Una variedad V sobre un campo finito con elementos q tiene un número finito de puntos racionales, así como puntos sobre cada campo finito con elementos qk que contienen ese campo.