Takagi existence theorem

GPTKB entity