Gordans–Meadows theorem

GPTKB entity