Birkhoff–Lewis fixed-point theorem

GPTKB entity