Geometrically, the principal homogeneous spaces coming from elements of the Selmer group have Kv-rational points for all places v of K. The Selmer group is finite.
Geometriskt har alla principiella homogena rum som uppstår från element av Selmergruppen Kv-rationella punkter för alla ställen v av K. Selmergruppen är ändlig.