Schanuel's theorem

GPTKB entity