Bishop–Phelps theorem

GPTKB entity