Myers' theorem

GPTKB entity