Ahlswede–Khachatrian theorem

GPTKB entity