Landis' theorem

GPTKB entity