Fifteen theorem

GPTKB entity