Erdős–Gallai theorem

GPTKB entity