Hindman’s theorem

  1. REDIRECT IP set