Lowndes–Northcott theorem

GPTKB entity