Milnor–Kervaire theorem

GPTKB entity