Thomas theorem

GPTKB entity