Goddard–Thorn theorem

GPTKB entity