Fixed point theorem

GPTKB entity