Starnes' theorem

GPTKB entity