Ramsey's theorem for pairs

GPTKB entity